Books by author Cliff B. Jones

Showing 1 – 13 out of 13 results

1. 

   Object Orientation with Parallelism and Persistence

   Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek | Springer, Berlin, 1996

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   153.91 €

   Sale 7 %

   You save 12.83 €

   Buy
2. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Theories of Programming: The Life and Works of Tony Hoare

   Cliff B. Jones, Jayadev Misra | ACM Books, 2021

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Hardback

   60.71 €

   Buy
4. 

   5th Refinement Workshop

   Cliff B. Jones, Roger C. Shaw, Tim Denvir | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.57 €

   Buy
5. 

   Theoretical Aspects of Computing - ICTAC 2007

   Cliff B. Jones, Zhiming Liu, Jones Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Communicating Sequential Processes. The First 25 Years

   Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
7. 

   FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

   John Fitzgerald, Cliff B. Jones, Peter Lucas | Springer, Berlin, 1997

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.67 €

   Sale 7 %

   You save 8.60 €

   Buy
8. 

   Object Orientation with Parallelism and Persistence

   Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek | Springer, Berlin, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   153.91 €

   Sale 7 %

   You save 12.83 €

   Buy
9. 

   Methods, Models and Tools for Fault Tolerance

   Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna | Springer, Berlin, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.53 €

   Sale 7 %

   You save 4.27 €

   Buy
10. 

    Understanding Programming Languages

    Cliff B. Jones | Springer Nature Switzerland AG, 2020

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    70.39 €

    Sale 9 %

    You save 7.58 €

    Buy
11. 

    Dependable and Historic Computing

    Cliff B. Jones, John L. Lloyd | Springer, Berlin, 2011

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.53 €

    Sale 7 %

    You save 4.27 €

    Buy
12. 

    Understanding Programming Languages

    Cliff B. Jones | Springer Nature Switzerland AG, 2021

    
    

    In stock at our supplier - Shipping in 8 - 11 days

    Language: English

    Binding: Paperback

    50.42 €

    Sale 9 %

    You save 5.38 €

    Buy
13. 

    Reflections on the Work of C.A.R. Hoare

    Cliff B. Jones, A. W. Roscoe, Kenneth R. Wood | Springer London Ltd, 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    153.91 €

    Sale 7 %

    You save 12.83 €

    Buy

We were in the final of Shop of the Year 2014. Find out more